Sous-ensemble - Partie d'un ensemble

Soit $E$ un ensemble et $A(x)$ une assertion dépendant d'un objet $x$ de $E$
Alors il existe un unique ensemble $F$ inclus dans $E$ tq $$(\forall x\in E)(x\in F\iff A(x))$$
Cet ensemble est noté $$F=\{x\in E,A(x)\}$$
(Assertion, Quantificateur universel)
Ensemble des parties d'un ensemble
Combinaison
Combinaison
Théorème de Cantor

Math'φsics